翻訳と辞書
Words near each other
・ Stack Exchange
・ Stack Harbor
・ Stack interchange
・ Stack Is the New Black
・ Stack Island
・ Stack Island (Mississippi River)
・ Stack light
・ Stack Light Rifle
・ Stack machine
・ Stack magazine
・ Stack Overflow
・ Stack overflow
・ Stack overflow (disambiguation)
・ Stack Pierce
・ Stack register
Stack Resource Policy
・ Stack Rock Fort
・ Stack search
・ Stack Soap
・ Stack Square
・ Stack Stalk
・ Stack trace
・ Stack v Dowden
・ Stack v. Boyle
・ Stack Waddy
・ Stack Waddy (album)
・ Stack's Mountains
・ Stack-based memory allocation
・ Stack-O-Tracks
・ Stack-oriented programming language


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Stack Resource Policy : ウィキペディア英語版
Stack Resource Policy

The Stack Resource Policy (SRP) is not the same as the Priority ceiling protocol which is for fixed priority tasks (FP). SRP was defined by T. P. Baker and is used for accessing shared resources when using Earliest deadline first scheduling.
== Function ==

Each task is assigned a preemption level based upon the following formula where D(Ti) denotes the deadline of task i and Pi(Ti) denotes the preemption level of task i.
Pi(Ti) > Pi(Tj) iff D(Ti) < D(Tj)
Each resource R has a current ceiling c(R)v that represents the maximum of the preemption levels of the tasks that may be blocked, when there are V units of R available and u is the maximum units of R that Ti may require at any one time. c(R)v is assigned as follows:
c(R)v = max i( 0 ∪ Pi(Ti) | v < u(Ti)})
There is also a system ceiling PiBar which is the maximum of all current ceilings of the resources.
PiBar = max(c(R)i | i=1..m)
Any task Ti that wishes to preempt the system must first satisfy the following constraint:
PiBar < Pi(Ti)
This can be refined for Operating System implementation (as in MarteOS) by removing the multi-unit resources and defining the stack resource policy as follows
* All tasks are assigned a preemption level, in order to preserve the ordering of tasks in relation to each other when locking resources. The lowest relative deadline tasks are assigned the highest preemption level.
* Each shared resource has an associated ceiling level, which is the maximum preemption level of all the tasks that access this protected object.
* The system ceiling, at any instant in time, is the maximum active priority of all the tasks that are currently executing within the system.
* A task is only allowed to preempt the system when its absolute deadline is less than the currently executing task and its preemption level is higher than the current system ceiling.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Stack Resource Policy」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.